$\forall$${\it es}$:ES, $i$:Id. Send($i$) $\in$ $k$:Knd$\rightarrow$kindtype($i$;$k$)$\rightarrow$($x$:Id$\rightarrow$vartype($i$;$x$))$\rightarrow$(Msg List)